royal caribbean mariner of the seas crew lines up to dance while playing happy by pharrell williams