GE15: Penang also declares Nov 18 a public holiday | AWANI International