Hong Kong to destroy 4,000 dead elephants’ worth of ivory