Are the films Restrepo and Hoop Dreams both documentaries?