Cuando ya hubiesen embarcado, esperaríamos que pase una hora para saltar a bordo, a fin de que el capitán y sus compañeros estuviesen dormidos profundamente.