Went out and took some pictures of the frogs in the lily pond. These are Rio Grande Leopard Frogs (or at least the folks at iNaturalist seem to think so).