A Naval Biographical Dictionary/Price, David