Existence of a Strongly Minimal Set in Morley's Categoricity Theorem