Didn't see the scroll down GS, Oly shirts. But ,you have Manville for Olympic RS in 18-19. I'm pretty sure that an olympic RS has to be in the year leading up to the Olympics--so Manville couldn't shirt in 18-19. He could in 19-20 (and might very well). And, if Manville does shirt in 19-20, there is no need in your lineup to have Joseph pull down to 157 that year (leaving alone the question whether he can or not).
Fresh off the presses: Link