ECB extends US dollar facility beyond end-July