Mashiach, Tisha b'Av, and how the world can be saved