Su nombre de pila era el mismo que se conoce: Pablo López Aguirre.