A Naval Biographical Dictionary/Keys, David