When a judge in a civil case deems that no trial is necessary on the basis that the facts of the case are not disputed by the two parties, they may issue which of the selections listed below?