What happens if put option expires in the money exchange