Armee ankommit til Porto Mauricio.