Smoothie

Yes it is. This video was first serviced by Warner Bros UK and was never used by WB USA (it has never even appeared on any USA promotional compilation tape even, nevermind not airing on MTV there). I believe its first showing was on BBC Top Of The Pops in mid July 1990. It later aired on MTV Europe.

That AI list is hilariously ridiculous. Causing a Commotion video uses mostly Turin concert footage so it cannot have premiered before September 1987. Possibly its premiere could be considered to have been on the 1987 MTV VMAs Lucky Star video premiered March 1984 for certain. Dress You Up video premiered July or August 1985. Angel video is a montage produced for the UK single release by Warner Bros UK and so it didn't get released until the second half of 1985. Hanky Panky video first aired July 1990.