Most of this was for security, the ministry said, but it did not provide a more detailed breakdown.

“The actual cost incurred by the Singapore government is approximately S$16.3 million [$11.95m], the biggest component of which was on security,” it said.

This was below previous government estimates. Singapore’s prime minister Lee Hsien Loong had previously suggested that the June summit would cost around S$20m.

The cost of hosting the summit had stirred anger among some Singaporeans who expressed their discontent on social media.

However, others said it was a “small price” for the country to pay for peace.

Marketing experts have also said that the publicity generated from hosting the summit, which drew more than 1,500 journalists to the small Southeast Asian city-state, could be worth more than 10 times the cost.

Lee had described the costs as Singapore's “contribution to an international endeavour which is in our profound interest”.

Trump and Kim met in Singapore on 12 June where the two pledged to work on ending North Korea’s nuclear programme and improve ties.