Hormuz Crisis to Push Global Coal Demand to Record High