Christopher Columbus of Carvajal and Maroto — Spanish military personnel (1925–1986)