I can't imagine how the Cruise lines are going to survive all of this. They have very little revenue coming in. I believe most are based outside of the U.S. to avoid paying taxes, so I can't imagine the U.S. trying to help them out financially.