I hope this wasn’t paid for with American taxes.
It was paid for with American dollars that were borrowed from the Chinese.