How are the Panama Canal locks able to withstand enough pressure to maintain separation of level between Pacific and Atlantic at max tide difference (which can be more than 15ft)?