Trump agrees to meet with North Korean leader Kim Jong un in May