Should Greece take a eurozone holiday?