A track and field coach wants to study the average 100-meter dash time of his team. A random selection of half the team has a mean time of 13 seconds. Is this mean considered a sample mean or a population mean, and which symbol would be used to denote it?