How many known galaxies are there?