A further look at transaction costs, short sale restrictions, and futures market efficiency: The case of Korean stock index futures · Study