Home/Crosswords/WSJ/Reagan program nicknamed “Star Wars,” for short