New video: Shorter edit of amazing May 9 Oklahoma tornado