What it means if Trump names China a currency manipulator