India and Pakistan agree to ceasefire after US-mediated talks, Trump says