You asked:

is july 25th a holiday

Sorry, I don't yet have an answer to that question.