What did they name the new 3 or 2 planets that were just discovered?