de allierades fartyg hade deltagit i striden och bland dem Mogador lidit skada.