José María Sánchez de Toca y Catalá — Spanish military personnel (1942-2020)