add july 9 as holiday