"If the stars should appear but one night in a thousand years, how would men believe and adore and preserve for many generations the remembrance of the city of God which had been shown"