August 4 declared a public holiday