El grito alarmó a los marineros, una docena de los cuales salieron disparados, pasaron junto al profe­sor Porter y se precipitaron senda adelante en soco­rro de su teniente.