How has he deleted the history?
If he has just used Tools/Internet Options then there still maybe some left in Explorer. It may only be a cookie but there is a chance that there is some trace left.
Intel Coffee Lake release date and specifications
12 Amazing British Craft Beer Label Designs
watchOS 4 review
Les meilleurs navigateurs internet 2017