Explosion at Dutch port of Rotterdam leaves one dead and several injured, police say

The explosion happened at a refinery and fuel terminal run by Gunvor Energy in an industrial section of the vast port premises.