Mysterious trader shorts oil amid Strait of Hormuz crisis