A Naval Biographical Dictionary/Hope, Thomas