Royal Caribbean sheds 26% of U.S. workforce as coronavirus hits travel