Adding a New Top Menu Link with php

Hi! I am trying to add another link to my header – Our Commissioners
This what I have so far:

<div class=”col-lg-8 col-md-8 col-sm-8 col-xs-12″>
<div class=”topmenu” >
<?php if(!empty($theme_options[‘home_url’])){?>
” title=”Home Page”>Home
<?php }
if(!empty($theme_options[‘about_url’])){ ?>
” title=”About us Page”>About Us
<?php }
if(!empty($theme_options[‘about_url’])){ ?>
” title=”https://wtsc.wa.gov/meetings/commissioners/”>Our Commissioners
<?php }
if(!empty($theme_options[‘contact_url’])){ ?>
” title=”Contact us Page”>Contact Us
<?php } ?>
Skip Navigation
</div><!– end top menu –>

I can get “Our Commissioners” text to appear but I can’t figure out how to make it link to the correct link and not about us.

This is the site him working with: https://washtraffic.fluidnrgclients.com

Any help on this would be great!
Thank you in advance!