Now known as JFK Airport.