What role did the revolution play in the US building the Panama Canal?