Just after midday on the 19th, "Red Shirt" leaders surrendered