Wasn't Marina Bay Sands in Singapore where Trump and Kim met? Interesting it is owned by Sheldon Adelson who just died this week.

https://en.wikipedia.org/wiki/Sheldon_Adelson