Ten factorial modulo thirteen