Washington yet to formally agree to Iran ceasefire extension: US official