China manufacturing shrinks in May, leaving policymakers with few good options