Washington Post: Metro board struggles with station names