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.
OnePlus 5 review
Alice Saey's mesmerising animation for Dutch singer Mark Lotterman
iPad Pro 10.5in (2017) review
Comment booster votre iPhone ?