Original: The airport was renamed John F. Kennedy International Airport in 1963 , one month after the assassination of President John F. Kennedy .
Simplified: John F. Kennedy International Airport is an international airport .