A Naval Biographical Dictionary/Haycock, Charles