También murió en combate el teniente de la Armada Mario Villegas.