20181205 city.mumbai: By 2021; mobile app will send alerts if mangroves destroyed