Axios

President Trump's order to rename Lake Ontario to "Lake America" is stirring up more controversy, as tech companies decide whether to comply or not.

The big picture: Google and other digital map providers — like MapQuest and Apple — have split on whether to accept the name change or keep Lake Ontario on their maps.

The U.S. military struck Iranian military targets to prevent the deployment of sea mines in the Strait of Hormuz, a U.S. official said.

Why it matters: This is the first known U.S. strike in Iran since late July when President Trump paused a two-week U.S. military campaign in the strait in late July.

Rep. Alexandria Ocasio-Cortez's potential run for president has exposed long-simmering divisions within the Democratic Socialists of America.

Why it matters: The socialism movement's leaders are increasingly at odds over who should speak for them, what policies they stand for — and whether to support AOC, whom some dismiss as more establishment than insurgent.