June 13 a public holiday (Manila Times, 2005)