A Naval Biographical Dictionary/Hoops, Richard