The old TWA terminal at JFK, now repurposed as a hotel.