20111211 city.goa: Mario Miranda; noted cartoonist; dies at 85