It can't be a doubled die on the mint mark because they were added to the working die by hand punch until about 1990.
However, there 3 known RPM's for the proof coins issued that year. Unfortunately, the pictures you've uploaded make it really difficult to tell if it's one of those three.
Take a look at Variety Vista to see if what you can see with the coin in hand matches any of those three and let us know.