Jimmy Carter funeral: mourners gather at Washington national cathedral

39th president’s funeral service to be held at Washington national cathedral before he is laid to rest in Georgia