Credit: WTOP/Dave Dildine Metro faces potential service cuts, shorter hours, layoffs in budget battle