The U.S. military takes out the leader of ISIS in northern Syria. The Olympics get underway. And Michigan relies on regular citizens for its redistricting experiment.