Trading Through Bank Holidays: Managing Risk When Markets Go Quiet