Except that they can just pay it with their overseas money in whatever form makes sense. On top of that, debt repayment comes out before the profit/loss that determines income so they could even use that to selectively lower their tax burden in future years.