listed here’s how you know Formal websites use .gov A .gov Web site belongs to an official federal government Corporation in the United States. Secure .gov Internet websites use HTTPS A lock ( LockA locked https://www.primetimeshuttle.com/airports/mariscal-lamar-international-airport/