How many supernovas have been discovered?