The strike marks the first known US attack on a target inside Venezuela, with no casualties reported - Trump described it as a 'major explosion' in the overseas dock