Shrimp shortage leads to record high prices; Gulf Coast shrimpers set to benefit