China: Record-breaking blue diamond sells for $31.8m at HK auction