Formula Rossa, the fastest roller coaster in the world