I just visited a historical battleship museum and at the small arms locker they had a list of all the dozens of pistols, rifles, light machine guns, and so forth they had on board... and also three or four short-barreled shotguns that a contemporary crewman account affectionately referred to as "mutiny guns."