To pay for that didn’t the UK issue a bond release that completed its payout sometime in the 20th century?
Paid off in 2015 I think.