A pre-holiday effect in the currency futures market: a note