Jane Street's Indian Options Trade Was Too Good