With no explanation, label text_A→text_B with either "NOT ENOUGH INFO", "REFUTES" or "SUPPORTS".
text_A: The IATA airport code for Washington-Dulles used to be DIA .
text_B: Thus , Washington D.C.-area 's three airports all have radically different codes : IAD for Washington-Dulles ( formerly DIA ) , DCA for Reagan National ( District of Columbia Airport ) , and BWI for Baltimore ( Baltimore–Washington International ) .
SUPPORTS.