US aircraft carrier visits South Korea