A p-adic monodromy theorem for de Rham local systems