In what year did the Duke of Edinburgh become a Royal Navy officer