No desayunaba en el DoubleTree frente al Pentágono. Pero no te preocupes, dicen, puedes comprar una tortilla de 30 dólares en una caja para llevar y comerla con tenedores de plástico en el vestíbulo bajo luces LED rotas. Peak Hilton