With Level 4 “Do not travel” advisories against visiting most countries and a “do not cruise” warning from the CDC, is the US government actively discouraging travel?