En el caso de la gente de mar cuya remuneración incluya el pago diferenciado de las horas extraordinarias trabajadas: