Lanao del Sur (Tagalog: Timog Lanao; Meranaw and Iranun: Pagabagatan Ranao), officially the Province of Lanao del Sur, is a province in the Philippines located in the Bangsamoro Autonomous Region in Muslim Mindanao (BARMM). The capital is the city of Marawi, and it borders Lanao del Norte to the north, Bukidnon to the east, and Maguindanao del Norte and Cotabato to the south. To the southwest lies Illana Bay, an arm of the Moro Gulf.