Shark in mall aquarium dies when malfunction causes ‘imbalance’ in tank, Ohio mall says