John Webster — Royal Navy officer (1932-2020)