Hong Kong's FX intervention highest since 2009 crisis