The Milky Way devoured a smaller galaxy about 11.8 billion years ago