Are masks required as of 5/13/22 in the cruise terminals at Port Everglades? With the CDC changes of 4/22 I thought masks are no longer required in the terminals. However, my cruise leaves tomorrow and an email from Royal indicated masks ARE required.