‘The best time to buy insurance is when you don’t need it’: Managers increase gold weightings as ‘double hedge’