An Algebraic Construction of Hyperbolic Planes over a Euclidean Ordered Field