Запись в ТК иностранца об увольнении

Увольняем сотрудника-иностранца в связи с окончанием разрешения на работу (трудовой договор срочный, на срок действия разрешения на работу).
Какую запись правильнее сделать:
1) "Трудовой договор прекращен в связи с истечением срока действия разрешения на работу при отсутствии основания для продления указанного срока, пункт 9.3 статьи 18 Федерального закона от 25.07.2002 №115-ФЗ "О правовом положении иностранных граждан в Российской Федерации"
2)"Уволен в связи с истечением срока трудового договора, пункт 2 статьи 77 Трудового кодекса Российской Федерации".

ИМХО, второе....т.к. основание для увольнения это ТК.

100% второе, раз есть это основание -оно самое бесспорное и простое.

Трудовой договор прекращен в связи с истечением срока действия разрешения на работу на территории РФ, п. 9 ч. 1 ст. 83 ТК РФ.

без сокращений, естественно...