Is anyone familiar with arms of the US Navy during the 80's?

I have a buddy whose father served on the USS Whale in the 80's. His father described carrying a shotgun during the watch. My buddy wants to buy a shotgun like the one that was issued to crews like on the Whale. Does anyone know what this might have been?