A geographical mile. See Mile.