I thought Obama already had a holiday in May.