U.S. Navy leaves the Puerto Rican island of Vieques, which had been used as a bombing range for decades.