President Joe Biden has signed a bill into law to mark which date a federal holiday in America?