Pan Am — at one point the dominant international airline in the United States, before its bankruptcy in the 1990s — was ...