Trump credits US pilots who bombed Iran for ceasefire with Israel