Real Decreto 919/1988, de 3 de agosto, por el que se concede la Gran Cruz de la Real y Militar Orden de San Hermenegildo al General de Brigada de Infantería, en activo, don Joaquín Castillo Santos.
Publicado en:
«BOE» núm. 200, de 20 de agosto de 1988, páginas 25784 a 25784 (1 pág.)