A Naval Biographical Dictionary/Hope, David