No sólo no estaba allí, sino que, haciendo averiguaciones, supieron por unos marineros que el vaporcito había llegado a las once de la mañana, permanecido una hora o dos en el puerto y partido en seguida hacia el Estrecho de Gibraltar.