South Korea agrees to pay more for US troops following Trump demand