Divers are collecting corals from a shipping channel off Port Miami in an effort to save them. Plans call for the channel to be deepened to accommodate much bigger ships that soon will pass through a widened Panama Canal.