The Air Operations dining hall