Real Decreto 1615/1988, de 26 de diciembre, por el que se concede la Gran Cruz de la Orden del Mérito Naval, con distintivo blanco, al Almirante del Cuerpo General de la Armada don José Antonio Benítez Carrasco.
Publicado en:
«BOE» núm. 4, de 5 de enero de 1989, páginas 370 a 370 (1 pág.)