AP Top U.S. News at 9:17 p.m. EST

.