Photos: US aircraft carrier arrives in Vietnam for the first time in more than 40 years