An act declaring august 18 of every year as “jesse robredo day”, a special working holiday, and for other purposes