Staff of a boat restaurant on the Taedong River line up at the entrance as they wait to greet customers Sunday, June 18, 2017, in Pyongyang, North Korea. The boat is berthed along the river, which is the fifth longest river on the Korean Peninsula and runs through the country's capital, Pyongyang. (Photo by Wong Maye-E/AP Photo)

A young boy plugs his ears as his sister (C) and nanny (L) watch from Gravelly Point Park as planes land at Reagan National Airport in Arlington, Virginia on June 29, 2017. President Donald Trump' s travel ban on people from six mostly Muslim countries will come into force late Thursday, as controversy swirls over who qualifies for an exemption based on family ties. (Photo by Jim Watson/AFP Photo)

People wearing mushroom hats stand in front of the Washington Monument in Washington, D.C., U.S., May 14, 2021. (Photo by Andrew Kelly/Reuters)

Addis Ababa police officers take part in a parade to display their new uniforms, and their readiness for the upcoming Ethiopian parliamentary and regional elections, in Addis Ababa, Ethiopia, June 19, 2021. (Photo by Baz Ratner/Reuters)

People wade through a road flooded by heavy rain in Kurume, Fukuoka prefecture, western Japan, Saturday, August 14, 2021. Torrential rain pounding southwestern Japan triggered a mudslide early Friday that swallowed some people and was threatening to cause flooding and more landslides in the region. (Photo by Kyodo News via AP Photo)

A man runs to take cover as supporters of a Shiite group allied with Hezbollah fire weapons during armed clashes that erupted during a protest in the southern Beirut suburb of Dahiyeh, Lebanon, Thursday, Octoner 14, 2021. It was not immediately clear what triggered the gunfire, but tensions were high along a former civil war front-line between Muslim Shiite and Christian areas. (Photo by Hassan Ammar/AP Photo)

Diver Sven, still in disguise, cleans the aquarium glass after a Santa Claus visit to the fish at Sea Life Berlin on December 6, 2021. (Photo by Christoph Soeder/dpa)

People cross a flooded street during a rainstorm as Tropical Storm Hilary arrives Palm Springs, California on August 20, 2023. Southern California is under a tropical storm warning which could bring heavy rains, high winds and flooding. (Photo by Philip Cheung for The Washington Post)