David Alexander — Royal Marines officer (1926-2017)