Hong Kong’s Jumbo Floating Restaurant sinks at sea