Breaking a World Speed Record with an RC Car