A settlement document reveals the District of Columbia has agreed to pay $50,000 to resolve a lawsuit filed by a resident who accused police officers of illegally detaining him for following an Ohio National Guard patrol while playing Darth Vader’s theme song from “Star Wars” on his phone.