On November 7, Royal Caribbean’s Explorer of the Seas faced severe winds and rough seas