Gulf Breeze Pedro's gets county approval to keep remaining mural, repaint old murals