Denmark provided US support on intercepting oil tanker, Danish official says