general de la Marina Francis L. Donovan