Trump Gaza ceasefire. Biden takes credit