An Optimal Algorithm for the k-Fixed-Endpoint Path Cover on Proper Interval Graphs