US official: Iran strikes do not end ceasefire