A Naval Biographical Dictionary/Woodin, William Henry