A Naval Biographical Dictionary/Boys, William