Fort Hamilton HS principal retires; replacement named