Castleton Industries, a UK-based manufacturer, expects to receive USD 8 million in 6 months. The current GBP/USD spot rate is 1.2650 and the 6-month forward rate is 1.2580. To hedge using currency options, Castleton should most likely purchase: