שחקן, איך יודעים מתי בנק ישראל מתערב במסחר על הדולר?