I heard a song about pirates removing a person's legs as punishment with something called a "midget saw". Did something like this actually exist or is it fictional?