Did Hamilton make the right decision to end the Red Hill Expressway lawsuit agains the federal government?