Overnight, Iran and Israel said they had agreed to a cease-fire — after an Iranian attack on a U.S. air base in Qatar that appeared to be a largely symbolic act of revenge.

But the main topic on “The Daily” is the mayor’s race in New York City, where Tuesday is Democratic Primary Day. The race has quickly become an excruciatingly close contest between two candidates who are offering themselves as the solution to what’s wrong with their party in the age of President Trump.

Nicholas Fandos, who covers New York politics for The Times, discusses the competing visions competing for the mayoralty and who is most likely to win.

Guest: Nicholas Fandos, a reporter covering New York politics and government for The New York Times.

Background reading: In the N.Y.C. mayor’s race, top democrats take on President Trump and their own party. Here’s the latest on Israel and Iran.

For more information on today’s episode, visitnytimes.com/thedaily. Transcripts of each episode will be made available by the next workday.

Photo: Hilary Swift for The New York Times

Unlock full access to New York Times podcasts and explore everything from politics to pop culture. Subscribe today at nytimes.com/podcasts or on Apple Podcasts and Spotify.