Petition for getting Mangrove Restaurant listed as a heritage building