As Mattis Arrives in Philippines, Mop-up in Marawi Is Declared Over

Jim Mattis, the United States defense secretary, said the Philippines had sent a “very necessary message” to militants in the war-torn southern city.