The US Marine Corps just eliminated “man” from 19 job titles