Reminder: the rig count drop is but a leading indicator of US oil production