Two Nonstandard Proofs of the Jordan Curve Theorem