The US Marines finally have their first female infantry officer