Astronomers just found the smallest galaxy