Billy Budd, sailor, and other stories