A Naval Biographical Dictionary/Carre, Robert Riddell