The rapid formation of a large rotating disk galaxy three billion years after the Big Bang | Litlas