Peter Gretton — Royal Navy vice-admiral (1912-1992)