Honestly I think Hamilton should have pitted around 3-4 laps later. He would have cruised up to this gap regardless at this point but he'd have done so with much better tyres.
Whoever is running Merc strategy needs to be fired. The only way they were going to get beaten today was if they were caught sleeping to an undercut at the first pit stop.