Is it permissible for an employee to receive double overtime pay for working on official national holidays, excluding religious holidays?

It does not appear that there is anything preventing the taking of the multiplied increase in return for work on official holidays, regardless of whether they are called Eids.