Among the accomplishments of about 9,000 women, whose shipyard pay was about a third less than that earned by men, was much ...