It is a fact that a ship that visits Cuba is prohibited docking at any U.S. port for a period of six months after that visit. Presumably this does not apply to aircraft or does it?