For what its worth, on the cruise critic boards, the people on the ship now said the Capitan changed it to masks recommended today
Apparently the president of the company is on the cruise also so might have added to it.
But to answer the OP question, no masks are required on the ship.