How to Manage Public Holidays for International Remote Teams