Who buys the put option?