A Naval Biographical Dictionary/Butcher, Robert