har dödat hertig Gaston de Vargas.