Title: Jumps, Martingales, and Foreign Exchange Futures Prices