Prior to being known by its current name, Orlando was once known as Jernigan.
Trước khi được biết tới bởi cái tên hiện tại, Orlando từng được biết đến dưới tên Jernigan.