the world's fastest hydraulically-launched roller coaster (Formula Rossa)