Petronet LNG, other gas stocks jump up to 5% as Trump’s Iran war