Divers perform during an event to celebrate the upcoming Christmas at the aquarium in Seoul, South Korea, Friday, Dec. 1, 2023. Christmas is one of the biggest holidays celebrated in South Korea. (AP Photo/Lee Jin-man)