Lanao del Sur

Lanao del Sur is a province in the Philippines. It is in the Bangsamoro Autonomous Region in Muslim Mindanao (BARMM). The capital is the city of Marawi.