US Marines change hat style in response to manufacturer’s closure