Marcos declares May 12 a holiday