The first phase of COVID-19 vaccination included health care personnel and residents of long-term care facilities, as well as individuals aged 75 years or older and frontline essential workers. For any adolescents aged 16 or 17 years who might be part of the prioritized groups, which mRNA vaccine would they receive?