...or prove that none exists. Note that M can't be primitive so there is at least one entry equal to zero in every power M^k (Perron-Frobenius). Thank you.