listed here’s how you know Formal Internet sites use .gov A .gov Internet site belongs to an official govt Business in the United States. protected .gov Web sites use HTTPS A lock ( LockA locked padlock the normal https://www.primetimeshuttle.com/airports/mariscal-lamar-international-airport/