You are correct.
The airport was renamed John F. Kennedy International Airport in 1963, one month after the assassination of President John F. Kennedy. The airport received the new IATA airport code of JFK, and since then the airport has become widely referred to by this abbreviation.
|