The topping-off ceremony