Indonesia’s China-backed high-speed railway costs over US$7 billion to build, 2 October 2023