coolant pump

I have a 2005 Buick Lacrosse 3.8L with 115k miles on it. The serpentine belt broke while I was driving tonight. Upon inspection, the belt had melted which had caused it to break. The coolant pump pulley does not rotate and has a lot of melted belt residue on it, so I believe that means that the...