Ha today I learned something, you are correct its 11 in US too. But it seems (according to gemini) that in US folks do not get automatically a fully paid day off on every one, which is the default in Europe. We often have 'labor day' wich are other types (acknowledged but no day off)