President declares May 7 as a holiday