Are Appleton International Airport and Gerald R. Ford International Airport in the same country?