What if Japan became Christian in 1637?