I was wondering if there is a difference between Instant Ocean Salt and CoraLife Salt, and which one is better?