Entierro del espeleólogo fallecido en Marruecos, José Antonio Martínez