A Naval Biographical Dictionary/Butler, William