fun fact no number 13 deck on most ships