Crawl#1 is best, with some slight alterations as suggested by others. And yes, the Death Star should be left unnamed, to add some mystery.
However, I personally liked that they didn’t use a crawl. That triumphant John Williams score with a crawl doesn’t fit the darker tone of ‘Rogue One,’ especially considering the grim nature of events that were to happen in the opening scene.