Why are military ships named after people and places rather than given intimidating names like "Death Bringer", "Life Taker", "Anal Destroyer", etc?