$p$-Wasserstein Distance Is a Metric