What was Neptune before Pluto was discovered