David Deas — Royal Navy officer