https://www.filipinoscribe.com/2016/04/12/labor-day-may-1-2016-declared-a-national-holiday/