AWS Workmail and SES Dedicated IP Address

Do you know when we get a dedicated IP address on AWS for SES, this IP address we will also be used in the Workmail?