Computing the Shortest Diagonal of a Monotone Polygon in Linear Time