A non-negative Wigner-type distribution☆