Where can I find mysql source or the mysql source rpm for centos 7?

Code:$ cat /etc/centos-release
CentOS Linux release 7.6.1810 (Core)Code:$ uname -a
Linux lb-cam-bca-13 3.10.0-1062.1.1.el7.x86_64 #1 SMP Fri Sep 13 22:55:44 UTC 2019 x86_64 x86_64 x86_64 GNU/LinuxHi

I wanted to try to build mysql from source on my centos 7 system, but cannot seem to find the source code anywhere.

Looking at the pages:
https://dev.mysql.com/doc/mysql-sour...tallation.html
https://dev.mysql.com/doc/mysql-sour...tribution.html

It looks like there should be at least a source rpm somewhere, but I cannot seem to find it.

https://dev.mysql.com/downloads/
seems to be only Windows related

and
https://dev.mysql.com/doc/refman/8.0...-yum-repo.html
seems to only talk about binary rpms

I've tried a few 'shot-in-the-dark' wget commands:
wget https://dev.mysql.com/get/mysql80-co...noarch.src.rpm
wget https://dev.mysql.com/get/mysql80-co...-el7-3.src.rpm
wget https://dev.mysql.com/get/mysql80-co...-el7-3.src.rpm
...
but to no avail.

Does anyone know where I should get the mysql source from ?