Eike Batista and the mysterious OGX put option